منابع مشابه
Explicit Fusions
We introduce explicit fusions of names. An explicit fusion is a process that exists concurrently with the rest of the system and enables two names to be used interchangeably. Explicit fusions provide a small-step account of reaction in process calculi such as the pi calculus and the fusion calculus. In this respect they are similar to the explicit substitutions of Abadi, Cardelli and Curien, wh...
متن کاملTransformed fusions
or most normal mammalian cells, survival depends on attachment. By binding to integrins, many extracellular matrix proteins activate survival pathways that prevent detachment-induced apoptosis. But on page 559 Todorovic et al. reveal a matrix molecule that kills instead. This death matrix protein, CCN1, is selective in its carnage. Endothelial cells are known to thrive on CCN1, but the group no...
متن کاملFusions of Description
1 Motivation and outline In order to ensure a reasonable and predictable behaviour of a Description Logic (DL) system, reasoning in the DL employed by the system should at least be decidable, and preferably of low complexity. Consequently, the expressive power of the DL in question must be restricted in an appropriate way. If the imposed restrictions are too severe, however, then the important ...
متن کاملReporter gene fusions.
Copyright: © 2006 Thomas Boulin et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Both of these authors contributed equally To whom correspondence should be addressed. E-mail: [email protected] Reporter g...
متن کاملExplicit Fusions: Theory and Implementation
This work describes a concurrent, distributed abstract machine for the pi calculus. Its primary audience are researchers in the field of concurrency. The secondary audience are working programmers looking for a better way to write interactive programs. This audience need only read Chapters 1 (an overview) and 5 (the implementation). I hope that these chapters might prove appealing to students w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Medicine
سال: 2012
ISSN: 1078-8956,1546-170X
DOI: 10.1038/nm.2976